A Semantic Approach to Ontology Merging in DL-Lite
نویسندگان
چکیده
This paper proposes a novel approach to merging DL-Lite ontologies by utilising an alternative semantic characterisation instead of classical DL models. The new merging process consists of two operators (TBox merging and ABox merging). These operators satisfy several desirable properties for merging, which in turn demonstrates the suitability of the new approach to DL-Lite merging. It is shown that the complexity of our merging operators is on the same level as the complexity of propositional belief merging. Moreover, a new algorithm is developed for transforming the reasoning problem of DL-Lite merging into the evaluation of Quantified Boolean Formulas (QBFs).
منابع مشابه
OntoMerge: A System for Merging DL-Lite Ontologies
This paper proposes a novel approach to merging DL-Lite ontologies by utilising an alternative semantic characterisation instead of classical DL models. It is shown that the complexity of our merging operators is on the same level as the complexity of propositional belief merging. Moreover, a new algorithm is developed for transforming the reasoning problem of DL-Lite merging into the evaluatio...
متن کاملMerging Incommensurable Possibilistic DL-Lite Assertional Bases
This short paper studies the problem of merging of different independent data sources linked to a lightweight ontology under the incommensurability assumption. In general, data are often provided by several and potentially conflicting sources of information having different levels of priority. To encode prioritized assertional bases, we use possibilistic DLLite logic. We investigate an egalitar...
متن کاملMin-based Assertional Merging Approach for Prioritized DL-Lite Knowledge Bases
DL-Lite is a powerful and tractable family of description logics specifically tailored for applications that use huge volumes of data. In many real world applications, data are often provided by several and potentially conflicting sources of information having different levels of priority. Possibility theory offers a very natural framework to deal with ordinal and qualitative uncertain beliefs ...
متن کاملA DL-Lite Ontology Revision Based on An Alternative Semantic Characterisation
Ontology engineering and maintenance require (semi-)automated ontology change operations. Intensive research has been conducted on TBox and ABox changes in description logics (DLs), and various change operators have been proposed in the literature. Existing operators largely fall into two categories: syntax-based and model-based. While each approach has its advantages and disadvantages, an impo...
متن کاملCapturing Instance Level Ontology Evolution for DL-Lite
Evolution of Knowledge Bases (KBs) expressed in Description Logics (DLs) proved its importance. Recent studies of the topic mostly focussed on model-based approaches (MBAs), where an evolution (of a KB) results in a set of models. For KBs expressed in tractable DLs, such as DL-Lite, it was shown that the evolution suffers from inexpressibility, i.e., the result of evolution cannot be expressed ...
متن کامل